Kernelization for Feedback Vertex Set via Elimination Distance to a Forest

نویسندگان

چکیده

Abstract We study efficient preprocessing for the undirected Feedback Vertex Set problem, a fundamental problem in graph theory which asks minimum-sized vertex set whose removal yields an acyclic graph. More precisely, we aim to determine parameterizations this admits polynomial kernel. While characterization is known related Cover based on recently introduced notion of bridge-depth, it remained open whether could be generalized . The answer turns out negative; existence kernels structural governed by elimination distance forest. Under standard assumption $$\textrm{NP}\not \subseteq \textrm{coNP}/\textrm{poly}$$ , prove that any minor-closed class $$\mathcal {G}$$ parameterized size modulator has kernel if and only bounded This captures generalizes all existing problem.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Linear-Time Kernelization for Feedback Vertex Set

In this paper, we give an algorithm that, given an undirected graph G of m edges and an integer k, computes a graph G′ and an integer k′ in O(km) time such that (1) the size of the graph G′ is O(k), (2) k′ ≤ k, and (3) G has a feedback vertex set of size at most k if and only if G′ has a feedback vertex set of size at most k′. This is the first linear-time polynomial-size kernel for Feedback Ve...

متن کامل

Propagation via Kernelization: The Vertex Cover Constraint

The technique of kernelization consists in extracting, from an instance of a problem, an essentially equivalent instance whose size is bounded in a parameter k. Besides being the basis for efficient parameterized algorithms, this method also provides a wealth of information to reason about in the context of constraint programming. We study the use of kernelization for designing propagators thro...

متن کامل

Outerplanar obstructions for a feedback vertex set

For k ≥ 1, letFk be the class of graphs that contain k verticesmeeting all its cycles. Theminor-obstruction set for Fk is the set obs(Fk) containing all minor-minimal graphs that do not belong to Fk. We denote by Yk the set of all outerplanar graphs in obs(Fk). In this paper, we provide a precise characterization of the class Yk. Then, using singularity analysis over the counting series obtaine...

متن کامل

A quadratic kernel for feedback vertex set

We prove that given an undirected graph G on n vertices and an integer k, one can compute in polynomial time in n a graph G′ with at most 5k+k vertices and an integer k′ such that G has a feedback vertex set of size at most k iff G′ has a feedback vertex set of size at most k′. This result improves a previous O(k) kernel of Burrage et al. [6], and a more recent cubic kernel of Bodlaender [3]. T...

متن کامل

A Naive Algorithm for Feedback Vertex Set

Given a graph on n vertices and an integer k, the feedback vertex set problem asks for the deletion of at most k vertices to make the graph acyclic. We show that a greedy branching algorithm, which always branches on an undecided vertex with the largest degree, runs in single-exponential time, i.e., O(c · n2) for some constant c.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Lecture Notes in Computer Science

سال: 2022

ISSN: ['1611-3349', '0302-9743']

DOI: https://doi.org/10.1007/978-3-031-15914-5_12